es{-}LnkTag{-}deq $\in$ EqDecider(IdLnk$\times$Id)